/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package argtrust.logic;

import aima.core.logic.fol.parsing.ast.Sentence;
import aima.core.logic.fol.parsing.ast.ConnectedSentence;
import aima.core.logic.fol.parsing.ast.NotSentence;
import aima.core.logic.fol.Connectors;

/**
 *
 * @author Yuqing Tang
 */
public class FOLFactory {

    public static Sentence and(Sentence lhs, Sentence rhs) {
        return new ConnectedSentence(Connectors.AND, lhs, rhs);
    }

    public static Sentence or(Sentence lhs, Sentence rhs) {
        return new ConnectedSentence(Connectors.OR, lhs, rhs);
    }

    public static Sentence implies(Sentence lhs, Sentence rhs) {
        return new ConnectedSentence(Connectors.IMPLIES, lhs, rhs);
    }

    public static Sentence bicond(Sentence lhs, Sentence rhs) {
        return new ConnectedSentence(Connectors.BICOND, lhs, rhs);
    }

    public static Sentence not(Sentence neg) {
        return new NotSentence(neg);
    }
}
